A type

Results: 14516



#Item
361

Type Targeted Testing Eric L. Seidel, Niki Vazou, and Ranjit Jhala UC San Diego Abstract. We present a new technique called type targeted testing, which translates precise refinement types into comprehensive test-suites.

Add to Reading List

Source URL: goto.ucsd.edu

- Date: 2014-10-20 15:46:33
    362

    Tyre – Typed Regular Expressions Gabriel R ADANNE Univ Paris Diderot, Sorbonne Paris Cité Tyre is a set of combinators to build type-safe regular expressions, allowing automatic extraction and

    Add to Reading List

    Source URL: www.irif.fr

    - Date: 2017-07-31 08:42:07
      363

      Gradual Set-Theoretic Types Victor Lanvin ENS Paris-Saclay Problem and motivation. A static type system can be an extremely powerful tool for a programmer, providing early error detection, an

      Add to Reading List

      Source URL: src.acm.org

      - Date: 2017-05-12 11:25:49
        364

        INSTRUCTIONS ON PREPARING A COMPLAINT NDE INVESTIGATIONS OFFICE Please Type or Print. 1. If you are filing a Complaint against more than one person or school, a separate form should be used for each. If you have more tha

        Add to Reading List

        Source URL: www.education.ne.gov

        - Date: 2016-05-20 11:17:57
          365

          List of known errata in the master thesis ‘Towards a Directed Homotopy Type Theory based on 4 Kinds of Variance’ Andreas Nuyts January 27, 2016 Most of these errata are (possibly confusing) typos. Please see errata c

          Add to Reading List

          Source URL: people.cs.kuleuven.be

          - Date: 2016-01-27 04:46:30
            366

            WHAT IS CYBERBULLYING? Cyberbullying is a type of bullying that occurs through electronic communication devices (e.g. the Internet, cell phones, iPad, iPod, & video gaming systems) Cyberbullying behaviours can damage

            Add to Reading List

            Source URL: www.witsprogram.ca

            - Date: 2015-11-19 15:22:02
              367

              2015 June 21 - Sept. 8, 2015 • A shop-hop type event with no fees or passports • All summer to play • Visit any of the participating shops and receive a free row pattern

              Add to Reading List

              Source URL: siterepository.s3.amazonaws.com

              - Date: 2015-06-11 00:10:40
                368

                Endocrine Disruptors: A Case Study on Atrazine Gitanjali Deb∗ I. INTRODUCTION Endocrine Disrupting Chemicals (EDCs) represent a new type of human health

                Add to Reading List

                Source URL: www.temple.edu

                - Date: 2009-01-15 08:57:23
                  369

                  A P U B L I C AT I O N F O R T R I C A R E ® P R I M E B E N E F I C I A R I E S I S S U E 3 : 2 016 Healthy Living ... Know What Type of Care You Need

                  Add to Reading List

                  Source URL: www.tricare.mil

                  - Date: 2016-07-13 15:47:42
                    370

                    Top Global University Project (Type B) Okayama University Overview of the program １．Outline of the Plan 【Name of the Plan】 PRIME program: producing practical-oriented human resources in a global community

                    Add to Reading List

                    Source URL: www.jsps.go.jp

                    - Date: 2015-10-15 02:09:28
                      UPDATE